Artificial Variables